How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.

Happy people often fail to elaborate on persuasive arguments, while people in sad moods tend to scrutinise messages in greater detail. According to some motivational accounts, however, happy people will elaborate a message if they believe it might maintain their positive mood. The present research extends this reasoning by demonstrating that happy people will elaborate arguments from message presenters that convey positive hedonic attributes (i.e., source likeability). In a pilot study, we show that happy people believe persuasive messages from a (...) likeable source will be mood maintaining. The results of Study 1 demonstrate that these expectancies have important message-processing implications. In Study 1, sad participants elaborated arguments from both likeable and dislikeable sources, while happy participants only elaborated arguments from a likeable source. Consistent with motivational explanation of these effects, in Study 2, happy participants elaborated arguments from a likeable source when not distracted, but used likeability as a heuristic when distracted with a cognitive-load manipulation. Implications of these results for understanding the effects of mood on processing strategy, limitations, and directions for future research are discussed. (shrink)

Scientific endeavor is the pursuit of knowledge with the aim of advancing the welfare of all human beings. This endeavor is built on the ideology of science; thus, society relies on the integrity of the practice of science and of scientists themselves. The responsible conduct of research is the essence of good science; however, many of the pedagogical approaches used to instill integrity in science accentuate the negative rather than exemplify ideal professionalism. This paper makes an argument for the inculcation (...) of the appropriate conduct of research via a positive approach. We address the acclimation to the culture of science that supersedes diverse cultural backgrounds of students. We suggest techniques for the implementation of positive strategies and reinforce the benefit of approaching the teaching of ethical behavior as a competitive advantage. We highlight ways in which this approach can empower the individual scientist and the scientific community as a whole. Transmission of the culture of scientific professionalism formalizes the aims of an ideal scientific professional and encourages assimilation and identification as a member of the scientific profession. We purport that instilling scientific professionalism will spur responsible conduct of research. (shrink)

ABSTRACT:Despite extensive research on organizational virtue, our understanding about factors that promote virtue within organizations remains unclear. Drawing on upper echelon theory, we examine the relationship between five top management team characteristics and organizational virtue orientation —the integrated set of values and beliefs that support ethical traits and virtuous behaviors of an organization. Specifically, we utilize prospectuses of initial public offering firms and 10-K post-IPO filings to explore how TMT composition with respect to member age, tenure, education, functional background, and (...) gender influences OVO. Additionally, we examine the moderating effects of organizational size, and argue that the more expansive structures and processes associated with larger organizations diminish the main relationships. Our findings, using two sources of data, are consistent, but somewhat mixed in their support for our hypotheses. Overall, TMT characteristics do appear to influence OVO, but in more complex and counterintuitive ways than initially expected. (shrink)

According to Kant, being purely rational or purely reasonable and being autonomously free are one and the same thing. But how can this be so? How can my innate capacity for pure reason ever motivate me to do anything, whether the right thing or the wrong thing? What I will suggest is that the fundamental connection between reason and freedom, both for Kant and in reality, is precisely our human biological life and spontaneity of the will, a conjunctive intrinsic structural (...) property of our animal bodies, which essentially constitutes human personhood and rational agency. I say ‘suggest’ because, obviously, no proper argument for such a conclusion could ever be worked out in a short essay. I would nevertheless like to motivate my suggestion by way of a commentary on the second part of Adrian Moore's extremely rich and interesting recent book, Noble in Reason, Infinite in Faculty. (shrink)

This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and physical objects, and on naive psychology.

This study uses the ATBEQ, as published by J.F. Preble and A. Reichel (1988) to measure attitudes towards ethical business attitudes held by final year South African Bachelor of Commerce students at Rhodes University. Three samples of students were assessed over three consecutive years of 1989, 1990 and 1991, and results are compared with samples (1988) of American and Israeli students and a sample (1991) of Western Australian students. A significant difference in attitudes was found to exist between the Israeli (...) and South African samples. A factor analysis of the questionnaire identified eleven factors of which seven are theoretically labelled. A revised version of the ATBEQ is suggested which excludes the poorly performing questions. (shrink)

How do you connect the discipline of anthropology to both philosophy and geography? What about history, sociology, and other applied and theoretical forms of knowledge? In Earth Ways: Framing Geographical Meanings, Gary Backhaus and John Murungi challenge contributors to find the organizing component, or "framings," that enables them to bridge their own work to philosophy and geography. What emerges are truly creative contributions to interdisciplinary thought.

Many situations require the simultaneous processing of auditory and visual information, however, stimuli presented to one sensory modality can sometimes interfere with processing in a second sensory modality (i.e., modality dominance). The current study further investigated modality dominance by examining how task demands and bimodal presentation affect speeded auditory and visual discriminations. Participants in the current study had to quickly determine if two words, two pictures, or two word-picture pairings were the same or different, and we manipulated task demands across (...) three different conditions. In an immediate recognition task, there was only one second between the two stimuli/stimulus pairs and auditory dominance was found. Compared to the respective unimodal baselines, pairing pictures and words together slowed down visual responses and sped up auditory responses. Increasing the interstimulus interval to four seconds and blocking verbal rehearsal weakened auditory dominance effects, however, conflicting and redundant visual cues sped up auditory discriminations. Thus, simultaneously presenting pictures and words had different effects on auditory and visual processing, with bimodal presentation slowing down visual processing and speeding up auditory processing. These findings are consistent with a proposed mechanism underlying auditory dominance, which posits that auditory stimuli automatically grab attention and attenuate/delay visual processing. (shrink)

This article provides an account of a collaborative teaching and learning project conducted in the English programme at the University of Tasmania in 2015. The project, Blended English, involved the development, implementation, and evaluation of learning and teaching activities using online and mobile technologies for undergraduate English units. The authors draw on the project’s findings from survey and focus group data, and staff reflective practice and peer review, to make the case for increasing technology-enhanced teaching and learning in English literary (...) studies. The blended approach described in this article has the capacity to enhance disciplinary learning; increase accessibility for students in remote and regional areas; facilitate deeper scholarly enquiry; and encourage staff to develop innovative, collaborative, and flexible teaching and learning practices. Appendix 1 presents examples of the project’s practical outcomes, as well as outlines of and reflections on three of the activities develop... (shrink)

ABSTRACTThis study aimed to investigate the association of locus of control with reading and mathematics achievement of high school students with disabilities using data from the Special Educ...

Two‐ and 3‐year‐old children (N = 96) were tested in an object‐choice task with video presentations of peer and adult partners. An immersive, semi‐interactive procedure enabled both the close matching of adult and peer conditions and the combination of participants’ choice behavior with looking time measures. Children were more likely to use information provided by adults. As the effect was more pronounced in the younger age‐group, the observed bias may fade during toddlerhood. As there were no differences in children’s propensity (...) to follow peer and adult gestures with their gaze, these findings provide some of the earliest evidence to date that young children take an interlocutor’s age into account when judging ostensively communicated testimony. (shrink)

Organizational virtue orientation (OVO), an organizational-level construct, refers to the integrated set of beliefs and values that support ethical character traits and virtuous behaviors. To advance the study of organizational virtue, we examine OVO in firms making their initial public offerings (IPOs), with respect to key external stakeholders that serve as financial intermediaries (i.e., venture capital firms and underwriting banks). Drawing on stakeholder and resource dependence theories, we argue that mutual interdependencies occur between financial intermediaries and IPO firms such that (...) venture capital firms’ ownership levels and underwriter reputation are positively associated with the selection of more virtuous IPO firms. We also argue for the moderating relationship of IPO firm age on these main relationships; since IPO firms have more history and information availability, less importance will be placed on OVO in the selection process. In support of our hypotheses, the results of this study suggest the organizational virtue of IPO firms influences the selection decisions of financial intermediaries by reflecting positively on these key stakeholders to improve legitimacy and reputation. (shrink)

In the past, hypothesis testing in medicine has employed the paradigm of the repeatable experiment. In statistical hypothesis testing, an unbiased sample is drawn from a larger source population, and a calculated statistic is compared to a preassigned critical region, on the assumption that the comparison could be repeated an indefinite number of times. However, repeated experiments often cannot be performed on human beings, due to ethical or economic constraints. We describe a new paradigm for hypothesis testing which uses only (...) rearrangements of data present within the observed data set. The token swap test, based on this new paradigm, is applied to three data sets from cardiovascular pathology, and computational experiments suggest that the token swap test satisfies the Neyman Pearson condition. (shrink)

Instead of attempting to reduce rituals of healing to so‐called primitive psychotherapy this essay raises the question of whether contemporary psychotherapies might not fruitfully be viewed as ritual processes through which a small segment of modern society receives ritual leadership in times of crisis. Selected phenomena in contemporary psychotherapeutic practice are analyzed in an attempt to discern the ritual processes which are manifest in them. It is concluded that most modalities of contemporary psychotherapy manifest elements of ritualized submission, containment, and (...) enactment. (shrink)

It has been demonstrated that death certificates do not accurately record the actual cause of death in up to one-fourth of cases, as determined from subsequent autopsy findings. The purpose of this study was to explore the use of natural language autopsy data bases as an automated quality assurance mechanism. We translated the account of the major process leading to death, or the primary diagnosis, from all 45,564 narrative autopsy reports obtained at The Johns Hopkins Hospital between May 28, 1889, (...) and June 30, 1987, into the hierarchical system of Medical Subject Heading (MeSH) titles. We obtained a total of 125,772 MeSH title translations, 1,563 of them distinct (average 2.8 per case), ranging in frequency from 6,029 occurrences of LUNG to 1 occurrence apiece of 357 MeSH titles. The natural-language-to-MeSH translations showed expected trends over the past century: fewer infectious diseases; more cardiovascular and neoplastic disease among adults; and more respiratory diseases and congenital malformations in the pediatric age group. The greater availability of autopsy documents in electronic form should increase the value of this resource for quality assurance. (shrink)

Although environmental philosophy and the human exploration of space share common beginnings, scholars from either field have not given adequate attention to the possible connections between them. In this essay, we seek to spur the rapprochement and cross-fertilization of philosophy and space policy by highlighting the philosophic dimensions of space exploration, pulling together issues and authors that have had insufficient contact with one another. We do so by offering an account of three topics: planetary exploration, planetary protection and the search (...) for extraterrestrial life, and terraforming. The resulting synthesis seeks to change our thinking about earthbound environmental ethics as it considers the philosophical dimensions of space exploration, and introduces the possible benefits of a humanities-oriented approach to space policy. (shrink)

Cambridge’deki büyük akademik cemaatin sakinleri olan bizler bir araya geldik ve hoşgörü ve onun egemen politik iklim içerisindeki yeri hakkında dostça ama ateşli bir tartışma yürüttük. Okuyucu, bizim nerelerde aynı düşüncede olmadığımızı bulmakta hiçbir zorluk çekmeyecektir. Diğer taraftan, farklı başlangıç noktalarından ve farklı yollardan hareketle yaklaşık olarak aynı yere ulaştık. Her birimiz için, egemen hoşgörü kuramı ve pratiğinin, incelendiği takdirde, korkunç politik gerçekleri gizlemeye yarayan bir maske olduğu ortaya çıktı. Kızgınlığın tonu makaleden makaleye keskin bir şekilde artmakta; belki de boş (...) yere, okuyucuların bu noktaya getiren akıl yürütmeyi takip edeceklerini umuyoruz. Nihayetinde bu kızgınlık hem kafa hem de kalpte ikamet etmektedir…. (shrink)

Although environmental philosophy and the human exploration of space share common beginnings, scholars from either field have not given adequate attention to the possible connections between them. In this essay, we seek to spur the rapprochement and cross-fertilization of philosophy and space policy by highlighting the philosophic dimensions of space exploration, pulling together issues and authors that have had insufficient contact with one another. We do so by offering an account of three topics: planetary exploration, planetary protection and the search (...) for extraterrestrial life, and terraforming. The resulting synthesis seeks to change our thinking about earthbound environmental ethics as it considers the philosophical dimensions of space exploration, and introduces the possible benefits of a humanities-oriented approach to space policy. (shrink)